extensions-tool: Remove GNOME Software reference from man page

It no longer manages extensions.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1956>

diff --git a/subprojects/extensions-tool/man/gnome-extensions.txt b/subprojects/extensions-tool/man/gnome-extensions.txt
index adc08e97a2e523d13f7eb596921949018c54e820..85d657bd9b1e5275d05c0cf62742122a23272a5d 100644 (file)
--- a/subprojects/extensions-tool/man/gnome-extensions.txt
+++ b/subprojects/extensions-tool/man/gnome-extensions.txt
@@ -189,10 +189,9 @@ the expected location in the user's *$HOME*, so that it
 will be loaded in the next session.
 +
 It is mainly intended for testing, not as a replacement for
-GNOME Software or the extension website. As extensions have
-privileged access to the user's session, it is advised to
-never load extensions from untrusted sources without carefully
-reviewing their content.
+the extension website. As extensions have privileged access
+to the user's session, it is advised to never load extensions
+from untrusted sources without carefully reviewing their content.
 +
 .Options
   *--force*:::